An efficient well-specified check
نویسندگان
چکیده
A longstanding problem with generalized stochastic Petri nets and extensions is that of what to do when more than one zero-timed event is scheduled to occur at the same time. If the order is left unspecified, it could lead to ambiguity that affects reward variables. Stochastic activity nets (SANs) [6, 7] have used the well-specified condition to avoid this problem. However, the existing algorithm to perform the well-specified check is computationally complex, proportional to the number of paths through unstable markings. We provide some theoretical results that allow us to make use of a much more efficient algorithm, with complexity proportional to the number of arcs between unstable markings.
منابع مشابه
On Concurrent Events and Correctness in Stochastic Models
In performance / dependability modeling, it sometimes happens that two events are scheduled to occur at the same time. In this case, the modeler has two alternatives: specify an ordering, (perhaps deterministically or probabilistically), or leave the order unspecified. If the order is unspecified, it is assumed that the order does not matter, or that the events can happen concurrently (simultan...
متن کاملSequential and Distributed Model Checking of Petri Net Specifications
In this paper we present algorithms for model checking CTL over systems specified as Petri nets. We present sequential as well as distributed model checking algorithms. The algorithms rely on an explicit representation of the system state space, but do not require the transition relation to be explicitly available; it is recomputed whenever required. This approach allows us to model check very ...
متن کاملمدل مفهومی بازار کارای پایگاههای اطلاعاتی
Purpose: The main purpose of this article is conceptual modeling of market efficiency of information databases, there are 3 main questions in this article: 1) what are the components of the efficient market? 2) Is the database markets an efficient market? 3) How is the mental model of the efficient market databases? Methodology: In order to achieve that, summarizing content analysis technique...
متن کاملIndication of Efficient Technique for Detection of Check Bits in Hamming Code
When the information is transmitted through wireless or through wired channel, error may occur in data. In some techniques error may be only detected while there are such techniques which can detect as well as correct that error in the data. Hamming code is such a code which can detect a single bit error position and also correct that, this coding scheme is used now days in Wireless communicati...
متن کاملStudy of Duckbill Weir with Triangular and Curved Plan Form
Constructing of control structures, like dams, change temporal and spatial unequal distribution of water ,and also play an effective role in reduce or eliminate of damage that caused by floods. So reservoir dam’s effect on floods discharges reduction must be determined. In this study the rain Information and flood hydrographs were used to check the flood routing for previous period of Maroon da...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999